منابع مشابه
. Wstęp
In the thesis computational semantics for monadic quantifiers in natural language in the spirit of J. van Benthem’s works [van Benthem 1986] is considered. The possible correlations between quantifiers and procedures which can be used to compute quantifiers’ denotations in finite models are discussed. We prove M. Mostowski’s theorem that monadic quantifiers definable in the divisibility logic a...
متن کاملPL-Geodesics on PL-Continuous Partial Meshes
Geometric characteristics of 2-manifolds embedded in R space have been analyzed from the point of view of differential geometry and topology. In the past, results relevant to these areas have been found for C curves and surfaces. However, current scientific, industrial, entertainment and medical applications, and availability of more powerful point sampling systems, press for characterization o...
متن کاملThe PL-Gossip Algorithm
Many recently proposed sensornet applications require large number of sensor nodes operating over long periods of time. In contrast to the first-generation sensornet deployments, these applications involve sophisticated internode communication rather than simple tree-based data collection. The examples include network maintenance, data-centric storage, object tracking, and various query engines...
متن کاملPL-virtual knots
Piecewise-linear virtual knots are discussed and classified up to edge index six.
متن کاملComplexity of PL manifolds
We extend Matveev’s complexity of 3-manifolds to PL compact manifolds of arbitrary dimension, and we study its properties. The complexity of a manifold is the minimum number of vertices in a simple spine. We study how this quantity changes under the most common topological operations (handle additions, finite coverings, drilling and surgery of spheres, products, connected sums) and its relation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Contemporary Economics
سال: 2013
ISSN: 1897-9254
DOI: 10.5709/ce.1897-9254.94